I den återgifna resolutionen står: