Redirecting to Extensionality