These are math estimates with margins, not official tallies, but the reasoning makes sense.