Should it return `afd.isValuesOrdered()`?