a model of a highway with cars