about to add formal definition of data mining