Constructing free Souslin trees from a proxy principle

More than 40 years ago, Jensen constructed a free Souslin tree of height $\omega_1$. We show how to construct a free $\kappa$-Souslin tree, where $\kappa$ is an arbitrary regular uncountable cardinal. This is joint work with Assaf Rinot.