verification in binarium