Text this: Logic in algebraic form. :