metalogical

not defined yet