in order to change the cofinality of a large cardinal to a predetermined regular cardinal. He proved that the least strongly compact cardinal can be equal to the least measurable cardinal or the least supercompact cardinal, but not to both.

Assuming the consistency of huge cardinals,