  which does not have the form of a causal law. This solution is less than fully satisfactory at solving the intuitive difficulties, because Turner’s semantics seems intuitively to validate formulas such as