In fact a measurable cardinal is more than ample. A weaker basic principle — the existence of 0# is sufficient to demonstrate coanalytic determinacy, and a bit extra: The precise end result would be that the existence of 0# is such as the determinacy of all levels of the main difference hierarchy under the ωtwo amount, i.e. ω·n-Πeleven determ