If the derivation view is correct, then there is some contingent and a posteriori statement S# that ...