[PPT] - A Formalised Proof of Craigs Interpolation Theorem in Nominal PowerPoint Presentation