Bobby Gray's Star Lawyers Can't Fix TEXITcoin's Math Problem