In Example 5.8 in the