FInished verification untested