Nadia and Saron discuss Extracting BottleNumber (5.2.3) and Removing Arguments (5.2.4).