change some non-dependent Pis to arrows in chapter 5

see #610