la:synthetic_reasoning