Now pretty-printing lemmas in reverse order.