2.15 A deep dive into PCF