four exponentials conjecture