1.0

Formalizing all human knowledge.