Formal Event Program Example