chapters/bell-ineq/ghz: in progress