hyperlogicality

not defined yet