further simplified sync_verify
further simplified sync_verify