Are John H. Auer and Jerome Robbins both directors?