https://9lib.org/document/z3dl8mg7-rank-and-meager-groups-by.html