Vi veta alltså , hvad dennya