On the Hardness of Faithful Chain-of-Thought Reasoning in Large Language Models | Synapse