"Irving Lewis Allen"