[FOM] Proof assistants and conjectures

[John McCarthy]

Heinz Zemanek said, "A standard is a commodity, not a dictatorshop".
Let there be a standard and definitions, but don't imagine them to be
eternal.