There is a perpetual exchange of services between science and empiricism. Often the function of the first consists of formalizing what the second discovered.