GHSZ, EPR local realism, Bell inequality violations