Det hade således förutvarit