Invece una formula di logica temporale può parlare di due parti non correlate del sistema, perché in quanto non correlate evolvono tacitamente in parallelo. ###>Instead a temporal logic formula can talk about two unrelated parts of a system, which because they are unrelated tacitly evolve in parallel.