Redirecting to Universal instantiation