If-then-else

If $P_1$ and $P_2$ are two pieces of code, and $\gamma$ is a test on their state space, then

if$$(\alpha) \;$$   then$$\; \{P_1\} \;$$   else$$\; {P_2}$$

this is a piece of code.