File:Richard Pines.jpeg