Title: Formalized Natural Languages