Rename Inference Procedures to Inference Procedures 2