One way con sisted of straightforward definition of geometrica expressions in terms of logical ones, within the direction of development represented by Prln Clpta Mathematica; this way, presumably, would depend upon identification of geometry with algebra through the correlations of analytic geom etry, and definition of algebraic expressions on the basis of logical ones as in PrincipIa Mathematica.