 As Jason Baehr suggests, it seems plausible that all necessary propositions are known "a priori", because "[s]ense experience can tell us only about the actual world and hence about what is the case; it can say nothing about what must or must not be the case.