 However, if there is a violation of Eliminability here, it is a superficial one, and it is easily corrected in one of two ways. The first way---the way that conforms best to our ordinary practices---is to understand the enriched languages that result from adding the definitions to exclude sentences such as (18) and (19). For when we stipulate a definition such as (16), it is not our intention to speak about the first cousins once removed of numbers; on the contrary, we wish to exclude all such talk as improper. Similarly, in setting down (17), we wish to exclude talk of division by 0 as legitimate. So, the first way is to recognize that a conditional definition such as (16) and (17) brings with it restrictions on the enriched language and, consequently, respects the Eliminability criterion once the enriched language is properly demarcated. This idea can be implemented formally by seeing conditional definitions as formulated within languages with sortal quantification.