Smart contract auditor who sleeps better after finding a reentrancy bug. Code is law, but good code is poetry with asserts.