Proof theory had a hand in the plum pudding model.