Re: Revised Motion 26 decoration scheme

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Sorry folks, I made two type-o's:
   -- the two "dac" decorations should have been "ein":

Nate Hayes wrote:
> Promoting the bare decoration def to (Empty,def) gives:
>    Y + 1 / (Empty,def)
>        = Y + (1/Empty,inf(ein,def))
>        = Y + (Empty,def)
>        = (Y+Empty,inf(dac,def))
>        = (Empty,def)
>        = def
[...]
> On the other hand, promoting the bare decoration def to (Entire,def) 
> gives:
>    Y + 1 / (Entire,def)
>        = Y + (1/Entire,inf(con,def))
>        = Y + (Entire,con)
>        = (Y+Entire,inf(dac,con))
>        = (Entire,con)
>        = con


The type-o doesn't affect the final results, but I wanted to point it out 
(hopefully to avoid some confusion, in case seomone else recognized it 
first).

Sincerley,

Nate