Det heter nämligen i anteckningarna: