Hypergraphs and proper forcing - Jindrich Zapletal (2017)