Temporal proof