#verify() implemented. minor refactor