Proof of commit by Luke Tao