patience: completed invariant, fully proved