"x happened after y", read from the branch first and the clocks only when the branch cannot say (#346). An unplaceable, untimed fact is not evidence of anything, so it is not "after".
x
y
"
xhappened aftery", read from the branch first and the clocks only when the branch cannot say (#346). An unplaceable, untimed fact is not evidence of anything, so it is not "after".