Putting time into proof outlines | lit.salon