I ett af dessa heter det: