([]F)<->[]T