verify in wmt