mnli premise: The highlight of Eilat's musical year is the International Red Sea Jazz Festival (see page 89). hypothesis: The International Red Sea Jazz Festival is considered to be the red letter of Eilat's musical year.