Or, considering that basic statements are not derivable from a purely theoretical system (though their negations may be so derivable), one might suggest that the following rule should be adopted: a theory is to be accorded a positive degree of corroboration if it is compatible with the accepted basic statements and if, in addition, a non empty sub class of these basic statements is derivable from the theory in conjunction with the other accepted basic statements.