synthetic a priori problem