seymour conjecture