Leggett_inequality loading ...