Some remarks on the Kp, 1 K₏, ₁ theorem | Synapse