Text this: Counting, demonstrating, formalizing