# Epi Preserved Distinction

> A lowering keeps every distinction a later check needs

Record: `reason:invariant-epi-preserved-distinction`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-epi-preserved-distinction