  In this article we reconstruct the Frauchiger and Renner argument, taking
into account that the assertions of the argument are made at different times.
To do this, we use a formalism of quantum histories, namely the Theory of
Consistent Histories. We show that the supposedly contradictory conclusion of
the argument requires computing probabilities in a family of histories that
does not satisfy the consistency condition, i.e., an invalid family of
histories for the theory.
