I heard that behind the scenes they were actually using Algorand. It's economy was bad before. And they didn't switch, just got some adoption.