Ramsey and Leslie 1983