overfull conjecture