open:invariant