Naming as A-Reduction Across Substrates: The Universal Mechanism | Synapse