On the Art of Writing Haiku