The only way to force this to be exhaustive is to ...
# announcements
n
The only way to force this to be exhaustive is to use it in an expression even if i don’t want the result