changed a couple of lockedState post conditions