In fact, if you try to close a door that is locked, you’ll put a large dent in the door jamb. So this combination is not only sensical but desirable to detect.

Perhaps a better lesson is to not be overzealous when paring down your logical model.