2 modifications: 1) Added a remark on why we would address an uninteresting formulation of weak bisim. 2) synched along the two-spaces convention