Thanks for the clear explanations. I didn't know this use of the word > "barb", and I see on dictionary.com "unpleasant remark". My remarks were > certainly not meant to be unpleasant, and I'm interested in seeing where > MM0 goes. >
Mario didn't want to hurt you. But you know that when you speak a foreign language ant that you have just learned a new word like "barb", you want to use it at oncre. I'm sure you do likewise. It's all human. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/fbc0877a-95e5-4e9e-8f8d-83661135ab2b%40googlegroups.com.
