Replacement rule of the
Propositional Calculus
given by an Albanian pointsman.