Inference Rules And Procedures