. . "If U is an ultrafilter on j and X is CH, then the corresponding algebraic operation X^j --> X takes a function f: j --> X to the element $\\beta(f)(U) \\in X$, where $\\beta$ is the monad." . .