(= (loop_1) (loop_2))
(= (loop_1) (loop_3))
(= (loop_2) (loop_1))
(= (loop_3) (loop_2))

!(loop_2)