Chapter 5.2: Applications of Antidifferentiation