Text this: Real and Presumed Categories: A Formal Approach