verification as detailed in assignment