Abductive two-dimensionalism: a new route to the a priori identification of necessary truths