Finish up verify - Code complete, untested