Text this: Studies in foundations and combinatorics /