Rudin , den 7 Oktober.