 Proposition 2.4. The interpretation of PCF terms as elements of dI-domains, where \(D^{\sigma \to \tau}\) is the dI-domain of stable functions from \(D^\sigma\) to \(D^\tau\) with the stable order, is a computationally adequate model of PCF.