updated some methods and results from Example 1