Add product and quotient constraints.