Text this: A Refined Geometry of Logic