The Spinoza axiom, “From a given definitive cause there follows necessarily an effect, and, on the other hand, if no definite cause be given, it is impossible that the effect should follow” most matches which of the four types of knowledge discussed in class?