  Given that Π̰11-determinacy implies the regularity properties for Σ̰12 sets of reals (see the discussion after Theorems 3.1–3.3), it was reasonable to suspect that a measurable cardinal actually implied Π̰11-determinacy. This was established by Martin: 