circumscribes
not defined yet