[PPT] - HOL Developed and HOL Used: Interconnected Stories of Real-W orld PowerPoint Presentation