(for (i (= 5 5) (= 6 6)) (= 7 7))