Scope (Logic)/Examples/Arbitrary Example 3