discussion:en:synthetic_reasoning