Text this: Notation, Redundancy and Fundamental Logical Structure.