Friedrichs's_inequality loading ...