Laws of Then and Choice

• #equation1083#

  In other words ;SPM_quot;Leave the room and shut the door behind you, or sit down and listen;SPM_quot; is much the same as ;SPM_quot;Sit down and listen or leave the room and shut the door behind you;SPM_quot;.

• #equation1085#

  i.e. ;SPM_quot;some event then do whatever;SPM_quot; is a process that can do something!

• Lemma 1. Two processes are the same if the initial events are the same, and subsequent events are too!