What do we want? What can we attempt?
Exhaustive hierarchical hyperlinks to everything known
Computer usable form + ALGORITHMS
Searchable form /Unique identifiers for formulas
Provenance of information
Annotations from other users
Corrections current or past
Cross-reference hyperlinks to all of mathematics
A bridge across paper/pencil ??computer gap
A tireless, accurate and efficient robot to help us