Text this: Chemical discovery and the logicians' program :