Rules Of Inference And Replacement