Equations -- specifying constraints