overlogicality

not defined yet