If this is incorrect, the test suite should not pass. Can you provide a test case?