Formally states conjecture.