Proof Time Traveller