  We show that the following are consistent with ZFC: 1. Strongly meager sets
form an ideal with the same additivity as the ideal of meager sets.
  2. There exists a strong measure zero set of size > d (dominating number).
