Page values for "Well-Seasoned Pufferfish IV"