I mentioned this to JGWeissman privately at the time, but I want to confirm now that this was exactly the solution I intended.
I mentioned this to JGWeissman privately at the time, but I want to confirm now that this was exactly the solution I intended.