Och vi antaga att ,derest