Flesh out the verification routines. Now it is time to start actually using this data structure we have built.