Shearer's_inequality loading ...