The things that we may or must know without applying any procedures are of many kinds, and they include all the things that deserve to be called the foundations or ultimate grounds of all the rest of our knowledge. … Wherever there are procedures there are things that can be known without procedures, and whose knowledge is necessary for the devising and validation of the procedures.