Mr Irish - Revised Summary of Proof