Text this: Logic as algebra /