Thomas Read: yes, that's a good puzzle. I glossed over the reasoning there because I wanted to keep moving. Can someone fill in the details in a rigorous yet terse way?