Proustian challenges for Harding