Writing Ionic Formulas From Charges (and Why Subscripts Are Constrained)