verification tests passing