Strong Chang's Conjecture and the tree property at ω2

We prove that a strong version of Chang's Conjecture together with 2ω=ω2 implies there are no ω2-Aronszajn trees.