Motivating example is simplified