Translate claims about what is necessary, possible, and contingent into the box and diamond of modal logic.