Consider protocol FT-LinkElect. Suppose that x precedes w in Suppressor(v). Suppose that x eliminates y at time t1 ≤ t and that y receives the fatal message (Capture,i,id(w)) from w at some time t2. Prove that then, t1 < t2.