Algunas proposiciones no están rigurosamente demostradas, sino que hace una especie de inducción incompleta, dando ejemplos prácticos y específicos, pero su dominio algorítmico es excelente y todo lo que afirma puede ser demostrado con las herramientas actuales.