modInv =: dyad def 'x y&|@^ <: 5 p: y'"0