a ≠ ≠ ≠ s ≠ ≠ ≠ k