4NA 1.3 Example 12