Yes we also thought it would be really fun and motivating. But later we thought that people might abuse the system given that editorial and solution for all problem are easily available, making people easier to climb on leaderboard. So because of that we drop the idea of leaderboard of ThemeCP.