 This result completes the argument showing the failure of full abstraction for the continuous model of PCF at the end of  Section 2.4,  if the informal notion of sequentiality used there is formalized as stability. The stable model of PCF has recently been shown to be fully abstract for an extension of PCF (Paolini 2006).