Remember in our scheduling application it was a little bit easier to give a proof of correctness without ties, I gave you that, and then optionally there was a slightly more complicated argument that handled ties. 