DriftwoodStone comments on Towards a New Decision Theory

[DriftwoodStone]

P = S ( x ) -> ( T, y ), T ( y ) -> ( U, x' ), U ( x' ) -> S'