en:differential_reasoning