Simplify which lemmas to communicate in dt.