  We show that if the weak compactness of a cardinal is made indestructible by
means of any preparatory forcing of a certain general type, including any
forcing naively resembling the Laver preparation, then the cardinal was
originally supercompact. We then apply this theorem to show that the hypothesis
of supercompactness is necessary for certain proof schemata.
