Vad är det han försöker bevisa?