Formal Vehicles