Kerodon

\begin{eqnarray} \label{equation:distributive-law} (x \cdot y) + (x \cdot z) = x \cdot (y + z ). \end{eqnarray}