i traktaten , den egentliga casus foederis , är den eventualiteten,