 System S3 corresponds to the 1918 system of A Survey, which Lewis originally considered the correct system for strict implication. By 1932, Lewis has come to prefer system S2. The reason, as reported in Lewis 1932: 496, is that both Wajsberg and Parry derived in system S3—in its 1918 axiomatization—the following theorem: