Example 32. The EDM-derived riser–drop sequence interacts with formal sections