There's something which tells me it won't work, and I can't prove it yet. But I think it's provable with a relatively straightforward simulation.