equiformal
not defined yet