Quadrelli, C. Pro-$p$ Groups With Few Relations and Universal Koszulity. Math. Scand. 2021, 127, 28-42.