verify() unfinished