Distinction Formalism: A Minimal Structural Framework of Historical Non-Substitutability | Synapse