Ok, making useful progress on the verification side of things.:wq