You could always put some axioms in the car.