Added communication rule for omega, added axiom for ll GET and SET