Red characters: Corrected from the answer on July 30.