Rules Of Inference Addition