Emma on Buddy - Proofs - Ride into Time