Sorry, last line should have been:

 (' #; <s-exp>) :: ({quote {remove <s-exp>}}) => ((quote )) ; empty quote

> So in summary, it would seem that all reader actions invoked by a reader
> transform token should apply to the following correspondingly processed
> <s-exp>, implying: (showing only reader actions)
>
>  (' ' <s-exp>) :: ({quote {quote <s-exp>}}) => ((quote (quote <s-exp>)))
>
>  (#; #; <s-exp>) :: ({remove {remove <s-exp>}}) => ()
>
>  (#; ' <s-exp>) :: ({remove {quote <s-exp>}}) => ()
>
>  (' #; <s-exp>) :: ({quote {remove <s-exp>}}) => (') ; error, unbound 'quote