Why do we have `total_upvotes` + `total_downvotes` as well as `score`? Doesn't score = total_upvotes - total_downvotes Is this always true? If so, isn't it redundant?