adding add-ramsey.txt