Weyl's_criterion loading ...