(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)))))))))