To insist on taking it this way isn't, Ithink, merely persnickety on my part. Unless definitions express semantic equivalences, they can't do the jobs that theyare supposed to do in, for example, theories