maximal monotone operator