Question: Are John H. Auer and Jerome Robbins both directors?
Answer: yes