Towards an explanatory and computational theory of scientific discovery · Study