They came upon Pim and Bim to whom Clive explained the flaws in Russell and Whitehead’s ‘Principia Mathematica.’