thin.value-of-correct-sufficient → thin.value-of-correct-sufficient