Adding Proof And In/Out rules