nothing is trivial