plotkin's PCF