a car mechanic replaces a battery.