Automatic Textbook Formalization - Tech Sentiments