Clutch switch is installed near clutch pedal. With clutch pedal depressed, switch is turned off. With switch off, coasting richer circuit is de-energized.