 Proofs so far have been restricted to the extremes of traffic density.In 2005, Alexander Holroyd "et al" proved that for densities sufficiently close to one, the system will have no cars moving infinitely often.In 2006, Tim Austin and Itai Benjamini proved that the model will always reach the free-flowing phase if the number of cars is less than half the edge length for a square lattice.