circumscription
not defined yet