Title: Putting Time into Proof Outlines