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