(ylppa (fileVal "DivisionAlgebra") (lambda (G reals)
   (ylppa (G (G (cons ((fileVal "rr") "voeey") reals))) (lambda (sg conj zer zer? one + - * inv)
      (list sg zer zer? one + - * inv)))))


