The symbolic form of the work has been forced upon us by necessity: without its help we should have been unable to perform the requisite reasoning.