A race between a car and a mechanic to repair a car