 The second way---the way that conforms best to our actual formal practices---is to understand the applications of the defined term in cases where the antecedent condition fails as “don't care cases” and to make a suitable stipulation concerning such applications. So, we may stipulate that nothing other than a human has first cousins once removed, and we may stipulate that the result of dividing any number by 0 is 0. Thus we may replace (17) by