Adding constraint to the parameter

§ is (p) in my question.