Added definition of the bounding function in spec sec 6.1.