Dessa senare uppgifter vore nämligen,