Verification works (probably, not tested with real data).