Overexplaining the binomial distribution