Text this: Logic versus Approximation