Det hade framställts så,