Förutsatt nemligen , att fördraget redanvore