2 Non-standard evaluation

2.1 Formulas