A Contextual Account of Explanation in Logic | Synapse