Closed kach closed 5 months ago
alice: observes [bob.x] is self.y
or, for short,
alice: observes [bob.x] is y
or, for short,