(ylppa (fileVal "Clifford2") (lambda (G reals)
  (ylppa (G (G (G (G (cons ((fileVal "rr") "fli0") reals)))))
    (lambda (sg / tr bar alpha zer zer? one + ng * rls basis)
    (let lp ((n 100)) (or (zero? n) (and 
    (let ((a (sg))(b (sg))(c (sg))(= (lambda (p q) (zer? (+ p (ng 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)))
      (= a (* b (* (/ b) a)))))
   (lp (- n 1)))))))))
