Connector used to force a particular ordering of equations and to pass information about satisfied requirements