CHSH_inequality loading ...