CHSH example added