The comment is clear, but I still have a hard time reasoning about correctness. I'm not trying to kill your mood, but this is tricky to reason about in my opinion, and I'm a big afraid of the consequences. Anyway, I'll shut up now, and wait until the PR is ready ;)