Strong monotonicity == (x=>y => x>y)