Mara baada ya kukubali axiom - na yeye alikuwa tena tayari kutilia shaka hapa - angeweza kufuata kitabu bora zaidi kuliko yeye alikuwa na uwezo wa kufuata kozi yake mwenyewe katika semantics.
Alikuwa ameamua kwamba angeweza kufuata kitabu hicho vizuri sana.