It’s a term with historic precedence.
It’s an aspiration to mechanize thought.
Are we there yet? It’s a continuum.
Excellent logic.