hyperlogicalness
not defined yet