pickRandom ← (?≢)⊃⊢