Text this: Functions and Generality of Logic