Tagged: symbolic reasoning with CoT