Formalized the text