Which consistent statements can be forced to be true?
It is shown that "resectionable" \Sigma_1 statements about parameters
in H_{\omega_2} which are "honestly consistent" can be forced
to be true in a stationary set preserving extension, and we also show
that a strong form of BMM, according to which all "honestly consistent"
\Sigma_1 statements about parameters in H_{\omega_2} are true,
is consistent. We also give some applications.