a priori reasoning