pseudomonotropy
not defined yet