(ylppa (fileVal "Clifford0") (lambda (G reals)
  (ylppa (G (G (G (G reals)))) (lambda (sg alpha zer zer? one + - *)
    (let ((a (sg))(b (sg))(c (sg))) (and
      (zer? (- (+ a b)(+ b a)))
      (zer? (- (+ a (+ b c)) (+ (+ a b) c)))
      (zer? (- (* a (* b c)) (* (* a b) c)))
      (zer? (* a zer))
      (zer? (- (* (+ a b) c) (+ (* a c) (* b c))))
      
      (zer? (- (alpha (* a b)) (* (alpha a) (alpha b))))
      (zer? (- (alpha (+ a b)) (+ (alpha a) (alpha b))))))))))