this doesn't look like an infimum/supremum to me. Should we maybe call this sMinValue, sMaxValue, etc? Or am I conceptually misunderstanding somehow?