use "make" instead of "fresh" to create variables in extensionality clause
use "make" instead of "fresh" to create variables in extensionality clause

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition