Noether_inequality loading ...