Extracting interpolants: Step 2