"I, therefore, assume that Marty and the time vehicle"