Verified IRL