Which is a pointless nitpick given those two cardinalities are the same.
Reply on news.ycombinator.com