circumscriptions

not defined yet