5.02 page 2 PF Example