Input (grade 7): Only five Michigan football players earned this honor before him.
Output (grade 8): Only five other Michigan football players earned this honor before him.