Paraphrasing the grammar in HTML