Text this: Logic, Algebra, and Computation :