On connections and higher-order logic