Detta är det faktiskt uppgifna: