One drawback of this result is that the bound is sensitive to the actual size of 2ℵ0, which can be anything below ℵω. Remarkably Shelah was later able to remedy this with the development of his pcf (possible cofinalities) theory. One very quotable result from this theory is the following: 