Ladder system uniformization on trees I & II - Dániel T. Soukup (2018)