An introduction to proofs of determinacy of long games