# Preserved Distinction

> A lowering keeps every distinction a later check needs

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Checked Verdict](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md) and before [Fresh Read](https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md).

## Grounded by

- [CONVERT](https://banes-lab.com/records/pag/keyword-action-convert.md)
- [PRESERVES](https://banes-lab.com/records/pag/keyword-node-preserves.md)
- [preserves_clause](https://banes-lab.com/records/pag/production-preserves-clause.md)

## Linked from

- [Failure shapes](https://banes-lab.com/ontology/reasoning/the-failure-shapes.md)
- [action](https://banes-lab.com/ontology/grammar/pag-keywords-action.md)
- [node](https://banes-lab.com/ontology/grammar/pag-keywords-node.md)
- [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)