Text this: Logical metatheorems for accretive and (generalized) monotone set-valued operators.