agohs conjecture