theoremic

not defined yet