a priori deduction