; Vector Subspaces as Lattice
(let ((tf (lambda (field n)
  (let* (
     (P ((fileVal "PGc") field n))
     (p= (P 'e=))
     (me (P 'meet))
     (jo (P 'join))
     (pp (P 're))
     (tx (lambda (i j k) (lambda (up dn) (let ((a (pp i))(b (pp j))(c (pp k)))
       (and
         (p= (up a b)(up b a))
         (p= (up (up a b) c)(up a (up b c)))
         (p= (up a (dn a b)) a)
         (p= (up a a) a))))))
     (bg (((fileVal "RC4") "flat") 'sb))
     (rg (lambda () (modulo (bg) (+ n 2)))))
  (let r ((n 100)) (or (= n 0) (let ((tl (tx (rg)(rg)(rg))))
        (and (tl me jo) (tl jo me) (r (- n 1))))))))))
(list
  (tf (list ((fileVal "rr") "fit") 0 zero? 1 + - * /) 4)
  (tf ((fileVal "GFpq") 7 5 "grrg") 4)
  )) ; => (#t #t)