Arbitrary announcement logic