Sage LTB, "to be" changes to "is" (Jenna Fontaine)
Sage LTB, changed "superfically" to "superficially" (Jenna Fontaine)
Theorem VSLT, added a comma (Jenna Fontaine)
Sage CILT, replaced percentage by words (Anna Dovzhik)
Sage CILT, "transformation" misspelled