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://parlorcityfurniturers.shop/product-category/guest-chairs/