Stating the conjecture requires some notation.