Văn bản này: The Proof in the IMS pudding