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://ashleyshomestores.shop/product-category/3-piece-sectional/