λp.λx. (+)/ ((*)`(~p) (gen. 1 (*x) (𝓉p)))