patience: one more invariant