Slowly working through verification example.