Added an example in the paper.