nonconsequentiality

not defined yet