According to this source, there is only one person who has the Workaholist badge (ranked as top 5 contributors for 127 phases of a project). There is also only one person with Chore Buff (37 phases). They are not the same person. And apparently, nobody has Elbow Grease Monkey (79 phases). So apparently, someone has been listed among the top five contributors for 127 street project phases, but has not made it to 37 or 79 phases. How is this possible? Is everything I've learned about mathematics nothing more than an elaborate lie?