[bv-dev] Method Validation: Why Example 4.11 should be allowed