verifikation i binarium