simplified varify()