  Recall that the Mouse Set Conjecture says that under AD++V=L(P(R)), a real is
ordinal definable if and only if it belongs to an iterable mouse. The Mouse Set
Conjecture for sets of reals says that under the same theory, a set of reals is
ordinal definable from a real if and only if it belongs to a mouse over the
reals. We prove that the Mouse Set Conjecture implies the Mouse Set Conjecture
for sets of reals.
