I protokollet heter det: