Lock and unlock

I still think rule three No transaction may execute lock(A) if it has
already done so. is stupid.