Derived property test (failing)