Title: Checking Case Study with Proof and Fact