untrivial

not defined yet