Det hade då befunnits,