Cardinal transfer properties in extender models

We prove that if L [ E ] is a Jensen extender model, then L [ E ] satisfies the Gap-1 morass principle. As a corollary to this and a theorem of Jensen, the model L [ E ] satisfies the Gap-2 Cardinal Transfer Property ( κ + + , κ ) → ( λ + + , λ ) for all infinite cardinals κ and λ .