which is non-trivial.