These Prop rules really help with some of @zoep 's Act adventures
Note that all PGT a b is rewritten to PLT b a and all PGEq a b is rewritten PLEq b a. So that's why there is e.g. one rule change. Canonicalizing really helps with rule applying, hence the rewrite to LT/LEq
Description
These Prop rules really help with some of @zoep 's Act adventures
Note that all
PGT a bis rewritten toPLT b aand allPGEq a bis rewrittenPLEq b a. So that's why there is e.g. one rule change. Canonicalizing really helps with rule applying, hence the rewrite to LT/LEqChecklist