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