explosion conjecture