untrivial
not defined yet