superconsequency

not defined yet