ubiquitous equations
separating visit of lateralized equation
lateral equations dependencies from other
real equation may depend on lateral equation