What is a "vehicle declaration"?