Ce software a fost folosit pentru a verifica al doilea?