[PPT] - Combining ACL2 and an Automated Verification Tool to Verify a PowerPoint Presentation