Updating operators to allow different contexts
Updating proposition to allow different contexts
Updating rule to allow different contexts