Renaming to remove prime (implied strict) verify function