Composite Ramsey theorems via trees - Matt Bowen (2022)