Så här hade han räknat ut det: