One has S + S U → → = U ⇒ ⇒ S U → → = U − − S , S + S P → → = P ⇒ ⇒ S P → → = P − − S or S U → → = ( 0 , u ) − − ( − − R , 0 ) = ( R , u ) , S P → → = ( τ τ , x ) − − ( − − R , 0 ) = ( τ τ + R , x ) . .