Paul Halmos, guest lecturer, on Mathematical Writing