Nets, Terms and Formulas by