I moved the motivation of `@@` to the end, but my feeling is that it can't hurt and might help. Remember, we're not trying to ask the BDFL for some favor -- we're helping him see the facts about how much more elegant and nice Python will become after making these changes.  Suggesting that we have `@`, `*`, and `**` but not `@@` is actually asymmetric and inelegant.

And anyway, if he likes one half of a PEP but not the other than he'll just tell us to change it. It's still clear from the motivation that we'd be totally happy with just `@`.