"B. L. Van Der Waerden"