The @kalshi student debt market is so funny now. I guess it's a market in whether Biden will sign an EO or the DoE will just do it?