(_, _) -> _

swap 1
lt

return