This happens in a formalCharge check.
This happens in a formalCharge check.