Det heter i resolutionen,