Fixed some things on the main page - need to remove Ramsey paper