 Yet, on square lattices disordered intermediate phases are more frequently observed and tend to "dominate" densities close to the transition region.Despite the simplicity of the model, rigorous analysis is very nontrivial.Nonetheless, there have been mathematical proofs regarding the Biham–Middleton–Levine traffic model.