Ces estimations de coût étaient basées sur un chiffre de production de 480 exemplaires par an, ce qui avait pourtant initialement été déclaré comme irréalisable.
On sait les difficultés qui ont été rencontrées et qui ont obligé les logiciens à reconnaître qu'un programme fondationnel radical représente une tâche irréalisable.
