Frank Plumpton Ramsey# 7a717221f10c9ad16d205990d7535873