Och ännu ett ; ur protokollerna framgår ju,