| Line 762: |
Line 762: |
| | & S | | & S |
| | & :> | | & :> |
| − | & p_j, \, \text{for each}\ j \in J | + | & p_j, \, \text{for each} \, j \in J |
| | \\ | | \\ |
| | 4. | | 4. |
| Line 868: |
Line 868: |
| | & R | | & R |
| | & :> | | & :> |
| − | & p_j, \, \text{for each}\ j \in J | + | & p_j, \, \text{for each} \, j \in J |
| | \\ | | \\ |
| | 7. | | 7. |