Locking protocol
Comment clean-up
why it is correct