 The system reduces the number of modalities of S4 from 14 to 12 (or 10 proper ones). The addition of the same axiom to Lewis’s system S3 results in a system with 26 distinct modalities. Moreover, if we add 