Text this: Nets, terms and formulas :