> Le jeudi 6 novembre 2014 09:14:11 UTC+1, Stephan Merz a écrit :
> below is a simple proof in TLAPS of what I believe is your intended result.
By the way Stephan, your book about temporal logic  is not available at Gibert's (it is not referenced).
It is available at Eyrolles'? I ask this because, it will save me a walk.
 "Temporal logic and state systems".