Inference objection

Summary