as establishing a constraint. The semantics of how to fix
line = plane1 ^ plane2
depends on an objective function and other constraints. When read as a definition, you have the implicit constraint that
are already been fixed. In some contexts, a satisfying way to satisfy constraints is to make them kind of springy.