consequentialities

not defined yet