: (greater) ( keyl l keyi i -- keyl/keyi l/i )
    [ pick over after=? ] dip swap
    [ 2drop ] [ [ 2drop ] 2dip ] if ;

:: (greater)2 ( keyl l keyi i -- keyl/keyi l/i )
    keyl keyi after=? [ keyl l ] [ keyi i ] if ;