In this paper we try to find a computational interpretation for a strong form of extensionality. which we call "converse extensionality". Converse extensionality principles. which arise as the Dialectica interpretation of the axiom of extensionality. https://www.ealisboa.com/flash-choice-Sten-Jacket-M-flash-find/