conjecture 1