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://foldlyers.shop/product-category/barstools/