4.1. Practical 1: Ruling in PFP