1.3. Basic Mathematica rules