milin conjecture