I verkligheten hafva vi dock redanen