implements verify