Spec Example 2.28. Log File