  We give the definition of Woodin for strong compactness cardinals, the
Woodinised version of strong compactness, and we prove an analogue of Magidor's
identity crisis theorem for the first strongly compact cardinal.
