Frank Plumpton Ramsey# 5eb603e1cd4d45bd6b360264bc70e48c