Making Natural Language Reasoning Explainable and Faithful | Synapse