Frank Plumpton Ramsey# 12d31f6541a8a3a0bafc81f5cfe6aa41