Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth

Re-assign community