trivial rule