(ylppa (fileVal "Clifford1") (lambda (G reals)
  (ylppa (G (G (G (G (cons ((fileVal "rr") "fli0") reals)))))
    (lambda (sg tr bar alpha zer zer? one + - * rls basis)
    (let ((a (sg))(b (sg))(c (sg))(= (lambda (p q) (zer? (+ p (- q)))))) (and
      (= (+ a b)(+ b a))
      (= (+ a (+ b c)) (+ (+ a b) c))
      (= (* a (* b c)) (* (* a b) c))
      (zer? (* a zer))
      (= (* a one) a)
      (= (* (+ a b) c) (+ (* a c) (* b c)))

      (= (alpha (* a b)) (* (alpha a) (alpha b)))
      (= (alpha (+ a b)) (+ (alpha a) (alpha b))))

      (= (* (tr a)(tr b))(tr (* b a)))
      (= (+ (tr a)(tr b))(tr (+ a b)))
      (= (* (alpha a)(alpha b))(alpha (* a b)))
      (= (+ (alpha a)(alpha b))(alpha (+ a b)))
      (= (* (bar a)(bar b))(bar (* b a)))
      (= (+ (bar a)(bar b))(bar (+ a b))))))))