theorematic

not defined yet