umutwe wa sena mu nama yawo yo kuwa gicurasi the consistency strength of strong compactness is strictly above that of a woodin cardinal he later succeeded as duke of piney luxembourg