Updated 00_spec

Previous version was passable with incorrect methods that simply pick the earliest larger number as opposed to the nearest larger number.