tetralogic

not defined yet