let for_all p a =
    try
      for i = 0 to num_of_theories - 1 do
        if not (p (get a i)) then
          raise No
      done;
      true
    with
        No -> false