nonlogicality

not defined yet