e. o. prosessor W. Rudin.