Clearly, the account does not turn mathematical knowledge into something easy to obtain, given that, normally, it is no straightforward matter to determine whether some result follows from a given group of axioms. Part of the difficulty emerges from the fact that the logical consequences of a non-trivial group of axioms are often not transparent: significant work is required to establish such consequences. This is as it should be, given the non-trivial nature of mathematical knowledge.