EvalDiffWithY=: dyad define
   -~/verb def x"_1 y
)