Added Proof And In/Out rules