verification working and tested