(<>F)<->(([]<>F<->T)-><>F)