superlogicalities

not defined yet