This comment was left over. Should just mention that the right-hand side is implicitly zero, the constant is stored in the QuadExpr.