 The first step toward an intensional treatment of conditionals was made with C. I. Lewis’s introduction of the strict conditional. Although Lewis’s treatment was axiomatic, its semantic content can be made transparent using possible worlds semantics. On Lewis’s approach, “If \(A\), then \(C\)” means that the material conditional is not just true, but necessarily true: