Text this: Logic of the tautologies