Friedrichs_inequality loading ...