Vi hafva då antagit ,att