Formalizing a language of intelligence.