Talk:Herzog–Schönheim conjecture