Updated high-level goals
Revised up through Example 2