The principle of projective determinacy, being independent from the standard axiom system of set theory, produces a fairly complete picture of the theory of "definable" sets of reals. It is an amazing fact that projective determinacy is implied by many apparently entirely unrelated statements. One has to go through inner model theory in order to prove such implications.