Better than simply not encoding the actual invariants you care about.