nonconsequence

not defined yet