In theory, we could require that all our proofs and writing in mathematics be so rigorous that a computer can read it, but then it would be unreadable by humans.
"A news article will refer to``Secretary Clinton ,""or even``Clinton ,""perhaps only once referring to``Secretary of State Hillary Clinton . ''"