k | ← k