add aronszajn1950theory
clean up