kreisel conjecture