Text this: Quantitative logic and soft computing 2010