Deductive data mining.