Added some Ramsey stuff