So the reason for keeping the thumb on the hammer is in case the thumb safety is off (or fails), the grip safety is not engaged, and somehow the trigger is pulled during the reholster. Otherwise the hammer will stop its forward progression at the half-cock notch and, if a Series 80, the firing pin block will prevent the gun from firing. Correct?