Doesn't this disagree with the implementation?