metalogic

not defined yet