Added Formulation of rules, removed footnotes