All tagged agreement in priciple