Motivating example updated