The Hales-Jewett theorem says that tic-tac-toe cannot end in a draw even if there is a huge number of players playing on a giant board, provided that the game is played in large-enough-dimension. This is a Ramsey-type theorem, showing that complete disorder is impossible. We start from the pigeonhole principle and taste various delicious Ramsey-type theorems, including van der Waerdens theorem, Ramseys theorem, the Hales-Jewett theorem, Hindmans theorem and Millikens theorem. We also look at the relations among them, but no technical details are discussed.