(ylppa (fileVal "DivisionAlgebra") (lambda (G reals dum)
   (ylppa (G (G reals)) (lambda (sg conj zer zer? one + - * inv)
      (list sg zer zer? one + (lambda (s) (- zer s)) * inv)))))