The Languages of Discovery