Գրեք սա: The Proof in the IMS pudding