Real Time Machine Proof