Dessa två sistnämda ord vore tillagda i protokollet,