We present a method for consistently constructing a tree whose square is sharply different from the original.

Specifically, we construct an aleph_1-tree T whose interval topology X_T is perfectly normal, but (X_T)^2 is not even countably metacompact.

This is joint work with Assaf Rinot and Shira Yadai.