Gibbs's_inequality loading ...