Oswald_Veblen loading ...