(I don't make assertions about other individuals; only>assertion) When the F-feature of the dake-wa phrase is processed, the interpreter realizes that multiple stacks will be created.
a topic-marked F-feature denotes a macro-context change potential which creates a multi-stack and performs an update over the created multi-stack: Definition: For a macro-context s and a topicalized construction After the percolation, i.e., the assertive update on macro-contexts, the temporary contexts are popped from the entire multi-stack.