FKG inequality

GPTKB entity