This is a really good write-up of the issue. I found the example simpler than the one the original paper showed.