Example 18 finished.
Example 20 finished.