Vi hafva redan förut redogjortför