Final post. While I was writing my answer in several posts, I noticed that other had published their opinions as well. My state as of writing was Norms post. I have to apologize that that I could not react to more recent posts, and I will not follow suit before tomorrow. If you have replied to my posts already, thanks for your attention.
Wolf Lammen -- 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/fa36daf3-dff3-44c4-80f4-040cf02a9a4c%40googlegroups.com.
