On an absolute basis, margin debt remains huge but has not grown much this year. Except for corporate buybacks, margin debt, along with other sources of buying power, have softened.