Mårtenson är en sträng logiker ,intet