Nets, Terms and Formulas