ultratrivial
not defined yet