On: Nearly all binary searches and mergesorts are broken (2006)

[curling_grad]

For low=3, high=5 case, this gives mid=3.