inferences

not defined yet