Personal income tax: The other-state tax credit