I think that was Clark Clifford, not Ramsey.
Thanks, you are correct (but you knew that!). I was in fact thinking of Clark Clifford.
These "Clarks" all look the same anyhow!
Cheers,Lloyd