<correspondence by function>