Add illustration of PP rule