# Epi Terminate On Three

> Work stops only when saturation, completion and verification all hold

Record: `reason:invariant-epi-terminate-on-three`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-epi-terminate-on-three