A priori and a posteriori knowledge