Pizza

En pizza er ikke en pizza uden oregano.

Invariant for pizza: $I\triangleq (\pi \cdot z^{2}\cdot \alpha \to {\texttt {oregano}})$