supertrivial
not defined yet