Welcome back. The mixing of BDI into DeFi is complete! Props to our bakers who made this possible. You can now withdraw your DeFi tokens.