No sir. They are mining on TAO subnet41. The team had to pivot ideas from what they wanted to build on Kadena because the Kadena biz dev team is incompetent.  They considered building on other chains and then found $TAO. They bought back NFTs from people who wanted out beforehand