Chemical discovery and the logicians' program: a problematic pairing · Study