Basics of Ramsey theory. (2023)