En pizza er ikke en pizza uden oregano.
Invariant for pizza: I ≜ ( π ⋅ z 2 ⋅ α → oregano ) {\displaystyle I\triangleq (\pi \cdot z^{2}\cdot \alpha \to {\texttt {oregano}})}
