A Definition of Haiku