let iter f a =
    for i = 0 to num_of_theories - 1 do
      f i (get a i)
    done