For Ramsey theory see parent folder.