RE: Unintuitive result from set theory (I think)