1888 Professor W ( Rudin.