superlogicality

not defined yet