I ett af desamma heter det: