6.14 Selecting Techniques for Antidifferentiation