4.107 question tags
Modals are used in question tags.
With a negative tag, the shortened form of the negative is used.
Question tags are explained in paragraphs 10.110 to 10.114.