Thanks! I suspected that was the case, but the looser bound was much easier to be confident in with the level of effort I could spare.