Talk:Derivative/@comment-27.33.246.90-20170929001441/@comment-7882956-20170929021811

He is official.

But even so, sometimes companies have official characters and derivatives (or recognized), but don't do anything with them. It happens.