overlogicalness
not defined yet