Text this: Logic, algebra, and computation :