3. Theorem spelling upgrade
4. Theorem spelling fixes
5. Theorem spelling fix