Epistemic Teleology and the Separateness of Propositions | Synapse