GDN proof car method.pdf