We study a strengthening of the notion of a perfectly meager set. We say that a subset A of a perfect Polish space X is countably perfectly meager in X, if for every sequence of perfect subsets $\{P_n: n \in \mathbb N\}$ of X, there exists an $F_\sigma $ -set F in X such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each n. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński.

We define the ideal with the property that a real omits all Borel sets in the ideal which are coded in a transitive model if and only if it is an amoeba real over this model. We investigate some other properties of this ideal. Strolling through the "amoeba forest" we gain as an application a modification of the proof of the inequality between the additivities of Lebesgue measure and Baire category.