Definition of TRIVIAL.