A demonstration of the applicability of the method of Padoa to the question of whether all laws of the secondary science (say, evolutionary biology) are derivable in the theory of the primary science (say, molecular genetics), once the appropriate co...