Fortuin-Kasteleyn-Ginibre_inequality loading ...