EliminationSort←{(⍵=⌈\⍵)/⍵}
 Rational←(÷\(1∧⊢),⊢)