If the test indicates that there is at least one article, then each of the numbers that can be represented by the less significant bits is interrogated by comparing n with nO (which is initially at a value that may be zero, and which then is incremented through successive values by unity).