 According to this diagram \(q\) holds at the counterfactual moment of time, \(t\). However, as indicated in the diagram \(F(x)q\) was false \(x\) time units earlier than \(t\), since at that time \(t'\) would be the true future \(x\) time units later.