superconsequence

not defined yet