BKL_conjecture loading ...