T -> (<>F)\/~([]T/\T)<->(<>~F<-T)
