The cost I’d be concerned about is making the example significantly more complicated.
I’m also not sure the unintuitiveness is actually bad in this case. I think there’s value in understanding examples where your intuitions don’t work, and I wouldn’t want someone to walk away with the mistaken impression that the folk theorems only predict intuitive things.
The cost I’d be concerned about is making the example significantly more complicated.
I’m also not sure the unintuitiveness is actually bad in this case. I think there’s value in understanding examples where your intuitions don’t work, and I wouldn’t want someone to walk away with the mistaken impression that the folk theorems only predict intuitive things.