Interface BiConstraintConsequence