Some remarks on the K₏, ₁ Theorem | Synapse