inference_logic
