No, but they're booked at more than anyone is willing to pay for them. And if the valuation is brought in line with market prices it will crash the banks. The peak-to-trough part of the business cycle is an outlier. Carnot would have died laughing.
