Linear Temporal Logic with Until and Since has the exact expressive power of First-Order Logic FO[<] over the natural numbers. Gabbay's separation property eliminates nested temporal interferences, reducing initial validity to pure-future LTL.