Input (grade 7): At first he was called "Hotfoot Teddy," but he was later renamed Smokey, after the mascot.
Output (grade 7): At first, he was called "Hotfoot Teddy," but he was later renamed Smokey, after the mascot.