Det heter nemligen i resolutionen: