AG(!(status_A=cars_passing) + ! (status_B=cars_passing));