Vi antaga , att dennya