Added Proc constraints