Inference Procedure: 35