theoremic
not defined yet