I en passus heter det: