Still not sure the typewriter on which old man and the sea typed on.