tokens: Then , under some conditions that we detail below , Spectre is a ( variant of a ) TO Broadcast , because Spectre : Proposition 5 ( Safety ) implies Agreement and validity , Proposition 4 ( Consistency ) implies Total Order , and Proposition 6 ( Weak Liveness ) implies Termination .