https://filesoo.com/product/4980/linear-pro-p-groups-of-finite-width