Redirecting to Extensional context