In fact, of course, I hold that propositions that contemporary philosophers would properly count as ’empirical’ can be necessary and be known to be such.