λp.λq. (+)/([x*_.(x%y)]`p q)