Code for step one of verify and verify all. Not tested yet.