We are now poised to:

RT @jdlichtman: We are now poised to: Formalize all known Human Mathematics.

This is the modern equivalent of the Human Genome Project. or…