In CTL*, the temporal operators can be freely mixed.
Στη CTL*, οι χρονικοί τελεστές μπορούν να αναμιγνύονται ελεύθερα.