robertson conjecture