> Please revisit Sipser's proof In this kind of context, you should provide a link. This kind of thing can spill over into "You're wrong because you haven't d

> Please revisit Sipser's proof In this kind of context, you should provide a link. This kind of thing can spill over into "You're wrong because you haven't done the work to see that I'm right", and minimizing the work you're pushing off shows good faith as well as increasing clarity that we're talking about the same thing. I think it's more likely we're talking about different things than either of us failing to understand the relevant proofs. I'll take a look, though, when you've provided the link (and ideally some explanation of what you see as important).