Standing up to ignorance is important. Be an advocate for truth and technology, just like “Automath” and other contributors to the Mercury would have wanted.
