Men så satte han sig till att räkna ut,