Weil's_criterion loading ...