Peetre's_inequality loading ...