 which according to Lewis ought not to be regarded as a valid principle of deduction. In 1932 Lewis is not sure that the questionable theorem is not derivable in S2. Should it be, he would then adjudicate S1 as the proper system for strict implication. However, Parry (1934) will later prove that neither A8 nor