hall'sconjecture