Example 6.2 of Paint Opener Beer Opener