Added Alt-Ergo and renamed the section.