[PPT] - Glitch-Resistant Masking Revisited or Why Proofs in the Robust PowerPoint Presentation