removed monotonicity (too hard without first knowing the SR max)