Random Lemma Combination Forward
Random Lemma Combination Backward
Expansion
Inequality
Renaming
Reflexivity
Operator-Agnostic