trivial names