LeaderElement←{
⍝ ⍵: Distinct integers
⍝ ←: Elements which are greater than all elements to their right
     ⍵⌿⍨0=∨/(∘.<⍨⍳≢⍵)∧(∘.<⍨⍵)
 }