Text this: FORMAL ARGUMENTATION AND MODAL LOGIC.