Clarify wording and add new post on modular exponentiation