Email Record: Invariant algebras and geometric reasoning /