“Duolingo found that leaderboards with anonymous strangers who are equally committed are more effective for user motivation than leaderboards with friends.”