# `ExTLA.Symmetry.UnsoundError`
[🔗](https://github.com/dcoai/extla/blob/v0.6.0/lib/ex_tla/symmetry.ex#L43)

Raised by `verify_symmetry: true` when the reduced and unreduced runs disagree.

The declaration is wrong: something in the spec can tell the symmetric elements apart,
so collapsing them dropped a state whose verdict mattered.

---

*Consult [api-reference.md](api-reference.md) for complete listing*