[PPT] - Formal Verification of the FTTRS Mechanisms for the Consistent PowerPoint Presentation