[PPT] - Applying bisimulation and invariants to alternate pathways in a PowerPoint Presentation