Friedrichs'_inequality loading ...