Text this: Invariant algebras and geometric reasoning