Chapter 6.3 Antidifferentiation by Parts