Definition of "encircles"