invariants.v 5.82 KB