FG.P exists in LTL but not in CTL.
Η FG.P υπάρχει στην LTL αλλά όχι στη CTL.