circumstantiability

not defined yet