trivial

not defined yet