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