Not only he gave credits about MIRA, but also made it clear that they want to implement MIRA as well, so that they can have a smooth migration of eosio to rocksbd.

And credits from this man who is da brain...is a big deal.