Irrelevant, but to answer your question the GSEs haven't paid back a single penny of the senior preferreds LP as per the letter of the law, it has all been dividend payments to date. GSEs owe uncle Sam close to $300b now since the LP just keeps increasing with every $ they get to retain. And no court has ruled otherwise.