Then Thumps paternal grandfather must have been named Richard