On 3/17/11 5:12 PM, Conor McBride wrote: > On 17 Mar 2011, at 18:35, wren ng thornton wrote: >> Another question on particulars. When dealing with natural numbers, we >> run into the problem of defining subtraction. There are a few >> reasonable definitions: > > No there aren't. How about "pragmatically efficacious"? -- Live well, ~wren