Gibbs'_inequality loading ...