invariants.v 5.87 KB