Since our definition of the type shift rule for the topic marker in (13) has no restriction on the category of topicalized expressions, it can topicalize a clause and explicitly specify it to be presupposed in context.
we do not need any special rule for cleft sentences.