Fusion and Simultaneous Execution in the Reenement Calculus Fusion and Simultaneous Execution in the Reenement Calculus