Gibbs_inequality loading ...