Strong monotonicity == (x=>y => x>y)
source
jl@crush.caltech.edu
index
representation_theorem