Vi antaga att följande slutordutur