[PPT] - Generic Derivation of Induction for Impredicative Encodings in PowerPoint Presentation