superinformalities

not defined yet