Modal Translations

Mix modality with quantifiers, where the order of box, diamond, and “all” changes what a claim says.