Thus, the declarative construction marked with dake-wa as in (7-a) denotes exhaustification over assertion acts.
only the assertion of the prejacent proposition is executed and the rest of the alternative assertions are cancelled.