Redirecting to Herzog–Schönheim conjecture