they only verify that all of the results for expand, lookup, and check are self-consistent