Text this: Quantitative Linear Logic