Four puzzlers and a simple solution to assert a transaction is active.