Create Inference Procedures 1