 Theorem 3.1. For every PCF type \(\sigma = \sigma_1 \to \cdots \to \sigma_n \to \kappa\) with \(\kappa = \texttt{num}\) or \(\kappa = \texttt{bool}\), every (compact) innocent and well-bracketed strategy corresponds to the denotation of a closed term.