Redirecting to Theorem Proving in Higher-Order Logics