RICHARD PINES