Text this: Oxidation of [3]naphthylenes to cations and dications converts local paratropicity into global diatropicity