More outputs to Example 2.5
More outputs to Example 3.3