Redirecting to Participation constraint (mechanism design)