Added some rule set presentations and proofs