Han hade nyss nedskrifvit denna sats: