Title: Proof Timing Test