Weyl's_inequality loading ...