  Using an iterated Sacks forcing and topological games, we prove that the
existence of a totally imperfect Menger set in the Cantor cube with cardinality
continuum, is independent from ZFC. We also analyze structures of Hurewicz or
consonant subsets of the Cantor cube in the Sacks model.
