Formalized the SQL docs.