In 98/P9/Q7 what is the second/third bit going on about? is it something along the lines of a) for each labeled lambda term we can consider the sequence of instructions executed during the execution of each instantiation of the lambda term? b) Standard definition of call graphs, but for any possible execution of the lambda term? Chris