Re: Driver's certificates: Logic meets the streets