Formal Auto Repair Electricity