Text this: Logic versus approximation :