And whose mortgage would have been chosen to be paid down?
They all get the same paydown.
If it pays off the house then it pays off the house.
better the money have gone to pay down mortgages than to DC insiders.