après avoir été continuellement rouge, maintenant il devient vert

, probablement pas$NOT $