The strong tree property and weak square - Yair Hayut; Spencer Unger (2016)