Man tänkte sig denna åtskilnad dels extensiv,