proofs for time