added inline definition of 1:1 call correspondence.