Hi Niklas & Thomas,
I am really struggling to follow your discussion.
Let me see whether I understood something.
It seems to me that there is a mix of issues here: the presence of two agents, and the assumption that transaction time is equal to valid time.
Your example may be similar to the following example not involving reification at all: I assert that John is a superhero; later on you assert that John is wearing a fancy dress. Obviously nobody can tell that I stated that John was a superhero in a moment when it was not known whether John was wearing a fancy dress.
It seems that your problem exists also without any reification. It is a more general problem involving valid and transaction time, and a mix thereof, which should be handled with an explicit notion of time.
Am I on track?
cheers
—e.