 where a biconditional, “___ \(\equiv \ldots\)”, is true when “___” and “…” have the same truth value and otherwise is false. This solved one problem by abandoning the goal of defining the predicate for a partial specification of meaning. But it created another, insofar as, if there should be more than one test/response for a property—such as that, “if \(x\) moves through a closed wire loop at \(t\), then \(x\) is magnetic at \(t\) if and only if an electric current flows in the loop at \(t^*\)”—in conjunction they jointly imply that any object \(x\) that is near small iron objects and moves through a closed wire loop will generate a current in the loop if and only if it attracts those iron objects. But this no longer has the character of even a partial definition but instead that of an empirical law. The prospect that analytic sentences might have synthetic consequences was not a welcome result (Hempel 1952).