 For people new to the field it takes some time to get used to this truth condition. But with a little work it can be seen to be just a generalisation of Kripke’s truth condition for strict implication (just set \(b = c\)).