Som förut i korthet nämts,