Redirecting to Impredicativity