 System S4 adds axiom C10 to the basis of S1. System S5 adds axiom C11, or alternatively C10 and C12, to the basis of S1. Lewis concludes Appendix II by noting that the study of logic is best served by focusing on systems weaker than S5 and not exclusively on S5.