[PPT] - Pegasus: a framework for sound continuous invariant generation PowerPoint Presentation